US administration makes efforts to increase inclusiveness in STEM industries

What Makes Industries Believe in Formal Methods

The introduction of formal methods in the design and development departments of an industrial company has far reaching and long lasting consequences. In fact it changes the whole environment of methods, tools and skills that determine the design culture of that company. A decision to replace current design practice by formal methods, therefore, appears a vital one and is not lightly taken. The ...

What makes us human ?

What makes us human?

To RSVP or for more information, please call Daniel Leonardich at 415.734.2080 or email [email protected] Science for Life lectures are free with open seating. Parking is available across the street in the UCSF Rutter Center garage. Co-sponsored by San Francisco Conservatory of Music cellist Erin Wang will share with us a brief discussion of “evolution” from baroque through contempora...

What makes us human?

The title of this report was the theme of the 7th Oxford International Biomedical Centre (OIBC) Symposium, just a few months after the publication of a paper suggesting that the genus Pan (including the chimpanzee and the bonobo) should be merged with the genus Homo. It has been realised for many years that the chimpanzee is our nearest living relative, and recent DNA studies have strengthened ...

What doesn't kill us makes us stronger.

We develop a simple model of cartel behavior under conditions of Bertrand competition with differentiated products. This model is then used to analyse the effects of ”Leniency Policy” on the cartel. We find that in some market situations introducing Leniency Policy causes the cartel to cease to be viable and competition results. However, in other cases the policy only serves to raise cartel pri...